function hash_passwd(passwd){
	return Crypto.SHA256('1234' + passwd + '5678');
}

function encrypt(formid){
	var form = document.getElementById(formid);
	form.pass.value = hash_passwd(form.pass.value);
	return true;
}
